[next] [prev] [prev-tail] [tail] [up]

2.2.10 Integrals 901 to 1000

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 21 32 21 14

N.S.

1 1.00 1.00 0.83 0.78 1.17 1.78 1.17 0.78

time (sec)

N/A 0.139 0.134 4.086 0.211 0.267 0.333 0.295 5.706

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 25 22 29 29 90 56 18

N.S.

1 1.00 0.74 0.65 0.85 0.85 2.65 1.65 0.53

time (sec)

N/A 0.157 0.169 4.076 0.192 0.272 0.444 0.288 5.868

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 57 30 27 43 34 151 94 30

N.S.

1 1.04 0.55 0.49 0.78 0.62 2.75 1.71 0.55

time (sec)

N/A 0.176 0.194 4.242 0.189 0.291 0.634 0.297 5.781

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 71 54 15 0 50 31 0 0

N.S.

1 1.16 0.89 0.25 0.00 0.82 0.51 0.00 0.00

time (sec)

N/A 0.193 6.448 4.998 0.000 0.105 0.598 0.000 0.000

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 48 49 15 0 45 31 0 0

N.S.

1 1.12 1.14 0.35 0.00 1.05 0.72 0.00 0.00

time (sec)

N/A 0.170 5.443 4.673 0.000 0.099 0.465 0.000 0.000

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 32 15 0 31 31 0 0

N.S.

1 1.00 1.28 0.60 0.00 1.24 1.24 0.00 0.00

time (sec)

N/A 0.154 4.760 4.421 0.000 0.100 0.399 0.000 0.000

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 30 12 0 32 29 0 10

N.S.

1 1.00 1.20 0.48 0.00 1.28 1.16 0.00 0.40

time (sec)

N/A 0.143 4.417 4.225 0.000 0.092 0.399 0.000 5.745

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 50 20 15 0 47 34 0 0

N.S.

1 1.11 0.44 0.33 0.00 1.04 0.76 0.00 0.00

time (sec)

N/A 0.175 10.007 4.256 0.000 0.078 0.497 0.000 0.000

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 73 20 15 0 52 37 0 0

N.S.

1 1.16 0.32 0.24 0.00 0.83 0.59 0.00 0.00

time (sec)

N/A 0.203 10.008 4.658 0.000 0.093 0.609 0.000 0.000

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 80 56 15 0 74 31 0 0

N.S.

1 1.13 0.79 0.21 0.00 1.04 0.44 0.00 0.00

time (sec)

N/A 0.240 9.294 5.138 0.000 0.090 0.717 0.000 0.000

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 57 49 15 0 69 31 0 0

N.S.

1 1.08 0.92 0.28 0.00 1.30 0.58 0.00 0.00

time (sec)

N/A 0.214 5.792 4.714 0.000 0.081 0.535 0.000 0.000

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 34 31 15 0 64 31 0 0

N.S.

1 0.97 0.89 0.43 0.00 1.83 0.89 0.00 0.00

time (sec)

N/A 0.193 5.207 4.462 0.000 0.094 0.431 0.000 0.000

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 34 20 15 0 44 31 0 0

N.S.

1 0.97 0.57 0.43 0.00 1.26 0.89 0.00 0.00

time (sec)

N/A 0.189 5.037 4.266 0.000 0.079 0.385 0.000 0.000

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 50 18 15 0 55 32 0 13

N.S.

1 0.94 0.34 0.28 0.00 1.04 0.60 0.00 0.25

time (sec)

N/A 0.212 10.008 4.284 0.000 0.089 0.472 0.000 5.446

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 73 20 15 0 66 37 0 0

N.S.

1 1.03 0.28 0.21 0.00 0.93 0.52 0.00 0.00

time (sec)

N/A 0.233 10.007 4.460 0.000 0.084 0.545 0.000 0.000

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 46 51 12 0 51 29 0 10

N.S.

1 1.12 1.24 0.29 0.00 1.24 0.71 0.00 0.24

time (sec)

N/A 0.165 5.572 4.200 0.000 0.079 0.457 0.000 5.358

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 42 25 21 28 21 39 28 20

N.S.

1 1.05 0.62 0.52 0.70 0.52 0.98 0.70 0.50

time (sec)

N/A 0.175 0.026 4.109 0.200 0.246 0.198 0.264 5.534

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 29 18 15 19 14 22 19 14

N.S.

1 1.07 0.67 0.56 0.70 0.52 0.81 0.70 0.52

time (sec)

N/A 0.166 0.024 4.367 0.222 0.237 0.113 0.278 5.515

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 10 9 9 8 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.62 0.69 0.69

time (sec)

N/A 0.138 0.015 4.185 0.192 0.255 0.065 0.289 0.074

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 25 25 8 25 10

N.S.

1 1.00 1.00 0.79 1.79 1.79 0.57 1.79 0.71

time (sec)

N/A 0.153 0.001 4.098 0.195 0.252 0.465 0.290 5.365

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 29 31 24 37 44 22 37 23

N.S.

1 0.94 1.00 0.77 1.19 1.42 0.71 1.19 0.74

time (sec)

N/A 0.161 0.053 4.131 0.193 0.255 1.006 0.276 5.585

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 29 35 20 58 29 19 29 0

N.S.

1 1.16 1.40 0.80 2.32 1.16 0.76 1.16 0.00

time (sec)

N/A 0.151 0.139 4.118 0.205 0.250 0.990 0.294 0.000

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 18 7 33 16 5 16 6

N.S.

1 1.00 2.25 0.88 4.12 2.00 0.62 2.00 0.75

time (sec)

N/A 0.141 0.287 4.276 0.193 0.264 0.461 0.281 0.030

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 13 12 16 12 19 12

N.S.

1 1.00 1.00 0.81 0.75 1.00 0.75 1.19 0.75

time (sec)

N/A 0.142 0.126 4.075 0.195 0.261 0.351 0.288 5.462

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 23 20 25 26 26 40 19

N.S.

1 1.00 0.70 0.61 0.76 0.79 0.79 1.21 0.58

time (sec)

N/A 0.159 0.153 4.099 0.210 0.261 0.460 0.287 5.518

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 54 28 25 37 31 44 57 24

N.S.

1 1.10 0.57 0.51 0.76 0.63 0.90 1.16 0.49

time (sec)

N/A 0.176 0.171 4.140 0.187 0.271 0.669 0.295 5.478

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 79 40 17 0 34 29 0 0

N.S.

1 1.07 0.54 0.23 0.00 0.46 0.39 0.00 0.00

time (sec)

N/A 0.183 10.022 4.454 0.000 0.090 0.434 0.000 0.000

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 32 17 0 26 29 0 0

N.S.

1 1.00 0.55 0.29 0.00 0.45 0.50 0.00 0.00

time (sec)

N/A 0.168 10.013 4.358 0.000 0.081 0.369 0.000 0.000

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 21 14 0 13 27 0 12

N.S.

1 1.00 0.49 0.33 0.00 0.30 0.63 0.00 0.28

time (sec)

N/A 0.152 10.058 4.123 0.000 0.076 0.325 0.000 5.442

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 22 17 0 31 32 0 0

N.S.

1 1.00 0.37 0.28 0.00 0.52 0.53 0.00 0.00

time (sec)

N/A 0.172 10.006 4.260 0.000 0.093 0.433 0.000 0.000

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 81 22 17 0 37 36 0 0

N.S.

1 1.07 0.29 0.22 0.00 0.49 0.47 0.00 0.00

time (sec)

N/A 0.193 10.006 4.316 0.000 0.088 0.505 0.000 0.000

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 145 42 17 0 58 29 0 0

N.S.

1 1.04 0.30 0.12 0.00 0.41 0.21 0.00 0.00

time (sec)

N/A 0.268 10.023 4.420 0.000 0.096 0.506 0.000 0.000

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 34 17 0 51 29 0 0

N.S.

1 1.00 0.27 0.14 0.00 0.41 0.23 0.00 0.00

time (sec)

N/A 0.234 10.020 4.438 0.000 0.098 0.405 0.000 0.000

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 22 17 0 44 29 0 0

N.S.

1 1.00 0.21 0.17 0.00 0.43 0.28 0.00 0.00

time (sec)

N/A 0.205 10.012 4.132 0.000 0.099 0.346 0.000 0.000

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 20 17 0 42 31 0 15

N.S.

1 1.00 0.17 0.15 0.00 0.36 0.26 0.00 0.13

time (sec)

N/A 0.225 10.007 4.250 0.000 0.094 0.378 0.000 5.771

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 138 22 17 0 53 36 0 0

N.S.

1 0.99 0.16 0.12 0.00 0.38 0.26 0.00 0.00

time (sec)

N/A 0.248 10.007 4.342 0.000 0.093 0.467 0.000 0.000

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 40 23 20 28 19 39 28 25

N.S.

1 1.05 0.61 0.53 0.74 0.50 1.03 0.74 0.66

time (sec)

N/A 0.173 0.030 4.101 0.274 0.284 0.313 0.291 5.898

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 18 15 19 14 22 19 14

N.S.

1 1.00 0.67 0.56 0.70 0.52 0.81 0.70 0.52

time (sec)

N/A 0.164 0.024 4.163 0.247 0.296 0.207 0.292 5.807

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 10 9 9 12 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.92 0.69 0.69

time (sec)

N/A 0.146 0.018 4.082 0.262 0.260 0.158 0.283 5.817

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 21 34 52 87 34 20

N.S.

1 1.00 1.00 0.75 1.21 1.86 3.11 1.21 0.71

time (sec)

N/A 0.158 0.037 4.135 0.225 0.267 0.740 0.287 5.834

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 47 38 31 53 66 42 53 32

N.S.

1 1.07 0.86 0.70 1.20 1.50 0.95 1.20 0.73

time (sec)

N/A 0.166 0.071 4.265 0.225 0.279 1.456 0.281 5.965

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 46 41 25 73 54 36 34 0

N.S.

1 1.12 1.00 0.61 1.78 1.32 0.88 0.83 0.00

time (sec)

N/A 0.180 0.181 4.253 0.247 0.269 1.500 0.312 0.000

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 23 35 20 45 45 19 29 0

N.S.

1 0.92 1.40 0.80 1.80 1.80 0.76 1.16 0.00

time (sec)

N/A 0.157 0.143 4.099 0.248 0.266 0.738 0.301 0.000

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 13 12 25 12 12 12

N.S.

1 1.00 1.00 0.81 0.75 1.56 0.75 0.75 0.75

time (sec)

N/A 0.145 0.118 4.103 0.213 0.266 0.315 0.288 5.364

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 23 20 25 37 42 32 17

N.S.

1 1.00 0.74 0.65 0.81 1.19 1.35 1.03 0.55

time (sec)

N/A 0.160 0.327 4.089 0.204 0.263 0.430 0.314 5.550

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 52 28 25 36 42 70 70 28

N.S.

1 1.06 0.57 0.51 0.73 0.86 1.43 1.43 0.57

time (sec)

N/A 0.173 0.176 4.216 0.190 0.266 0.605 0.289 5.732

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 100 52 17 0 55 29 0 0

N.S.

1 1.11 0.58 0.19 0.00 0.61 0.32 0.00 0.00

time (sec)

N/A 0.205 5.639 4.576 0.000 0.084 0.579 0.000 0.000

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 79 47 17 0 50 29 0 0

N.S.

1 1.07 0.64 0.23 0.00 0.68 0.39 0.00 0.00

time (sec)

N/A 0.191 5.098 4.298 0.000 0.087 0.451 0.000 0.000

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 32 17 0 39 29 0 0

N.S.

1 1.00 0.55 0.29 0.00 0.67 0.50 0.00 0.00

time (sec)

N/A 0.170 4.564 4.351 0.000 0.084 0.371 0.000 0.000

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 30 14 0 38 27 0 12

N.S.

1 1.00 0.52 0.24 0.00 0.66 0.47 0.00 0.21

time (sec)

N/A 0.174 4.174 4.311 0.000 0.089 0.386 0.000 5.553

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 81 22 17 0 51 32 0 0

N.S.

1 1.07 0.29 0.22 0.00 0.67 0.42 0.00 0.00

time (sec)

N/A 0.197 10.006 4.191 0.000 0.084 0.471 0.000 0.000

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 102 22 17 0 57 36 0 0

N.S.

1 1.11 0.24 0.18 0.00 0.62 0.39 0.00 0.00

time (sec)

N/A 0.209 10.008 4.328 0.000 0.083 0.595 0.000 0.000

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 166 54 17 0 84 29 0 0

N.S.

1 1.06 0.35 0.11 0.00 0.54 0.19 0.00 0.00

time (sec)

N/A 0.277 7.057 4.563 0.000 0.088 0.693 0.000 0.000

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 145 47 17 0 79 29 0 0

N.S.

1 1.04 0.34 0.12 0.00 0.56 0.21 0.00 0.00

time (sec)

N/A 0.256 5.192 4.464 0.000 0.089 0.519 0.000 0.000

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 31 17 0 74 29 0 0

N.S.

1 1.00 0.25 0.14 0.00 0.60 0.23 0.00 0.00

time (sec)

N/A 0.218 4.903 4.340 0.000 0.087 0.408 0.000 0.000

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 22 17 0 59 29 0 0

N.S.

1 1.00 0.18 0.14 0.00 0.48 0.23 0.00 0.00

time (sec)

N/A 0.230 4.568 4.259 0.000 0.092 0.357 0.000 0.000

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 138 20 17 0 69 31 0 15

N.S.

1 0.99 0.14 0.12 0.00 0.49 0.22 0.00 0.11

time (sec)

N/A 0.255 10.008 4.383 0.000 0.093 0.442 0.000 5.595

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 159 22 17 0 81 36 0 0

N.S.

1 1.02 0.14 0.11 0.00 0.52 0.23 0.00 0.00

time (sec)

N/A 0.274 10.006 4.320 0.000 0.099 0.539 0.000 0.000

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 77 49 14 0 58 27 0 12

N.S.

1 1.07 0.68 0.19 0.00 0.81 0.38 0.00 0.17

time (sec)

N/A 0.178 5.190 4.209 0.000 0.101 0.441 0.000 0.081

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 33 22 17 23 16 26 23 16

N.S.

1 1.14 0.76 0.59 0.79 0.55 0.90 0.79 0.55

time (sec)

N/A 0.170 0.023 4.142 0.213 0.286 0.120 0.279 5.708

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 33 43 24 44 33 78 23 0

N.S.

1 1.14 1.48 0.83 1.52 1.14 2.69 0.79 0.00

time (sec)

N/A 0.163 0.141 4.084 0.313 0.257 1.052 0.283 0.000

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 12 11 11 10 11 11

N.S.

1 1.00 1.00 0.80 0.73 0.73 0.67 0.73 0.73

time (sec)

N/A 0.143 0.014 4.092 0.195 0.251 0.066 0.279 5.593

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 26 9 16 18 22 8 16

N.S.

1 1.00 2.17 0.75 1.33 1.50 1.83 0.67 1.33

time (sec)

N/A 0.144 0.112 4.133 0.280 0.266 0.481 0.298 5.519

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 15 29 29 26 31 14

N.S.

1 1.00 1.00 0.75 1.45 1.45 1.30 1.55 0.70

time (sec)

N/A 0.161 0.025 4.233 0.197 0.261 0.505 0.269 5.625

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 34 35 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 1.89 1.94 0.78

time (sec)

N/A 0.154 0.131 4.286 0.201 0.272 0.358 0.288 5.518

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 43 39 30 43 50 75 45 29

N.S.

1 1.10 1.00 0.77 1.10 1.28 1.92 1.15 0.74

time (sec)

N/A 0.164 0.049 4.214 0.194 0.252 1.082 0.290 5.491

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 25 20 29 19 66 73 19

N.S.

1 1.00 0.68 0.54 0.78 0.51 1.78 1.97 0.51

time (sec)

N/A 0.158 0.165 4.158 0.199 0.263 0.487 0.283 5.473

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 44 38 17 0 44 32 0 0

N.S.

1 1.02 0.88 0.40 0.00 1.02 0.74 0.00 0.00

time (sec)

N/A 0.202 10.017 4.551 0.000 0.083 0.427 0.000 0.000

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 36 17 0 23 32 0 0

N.S.

1 1.00 1.24 0.59 0.00 0.79 1.10 0.00 0.00

time (sec)

N/A 0.151 10.013 4.478 0.000 0.086 0.394 0.000 0.000

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 24 17 0 38 32 0 0

N.S.

1 1.00 1.14 0.81 0.00 1.81 1.52 0.00 0.00

time (sec)

N/A 0.177 10.010 4.328 0.000 0.089 0.372 0.000 0.000

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 15 0 8 31 0 13

N.S.

1 1.00 1.00 1.25 0.00 0.67 2.58 0.00 1.08

time (sec)

N/A 0.135 10.039 4.175 0.000 0.076 0.353 0.000 5.374

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 44 24 17 0 34 34 0 33

N.S.

1 1.02 0.56 0.40 0.00 0.79 0.79 0.00 0.77

time (sec)

N/A 0.208 10.007 4.468 0.000 0.082 0.410 0.000 5.664

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 24 17 0 27 36 0 0

N.S.

1 1.00 0.77 0.55 0.00 0.87 1.16 0.00 0.00

time (sec)

N/A 0.168 10.008 4.477 0.000 0.079 0.457 0.000 0.000

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 33 16 22 16 14

N.S.

1 1.00 1.00 0.83 1.83 0.89 1.22 0.89 0.78

time (sec)

N/A 0.156 0.235 4.261 0.223 0.284 0.488 0.293 0.089

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 18 9 33 16 7 16 8

N.S.

1 1.00 1.50 0.75 2.75 1.33 0.58 1.33 0.67

time (sec)

N/A 0.152 0.223 4.115 0.223 0.281 0.450 0.284 0.036

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 10 10 24 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 1.71 0.71 0.71

time (sec)

N/A 0.154 0.004 4.341 0.352 0.273 0.493 0.274 0.161

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

72 72 44 33 0 19 27 0 0

N.S.

1 1.00 0.61 0.46 0.00 0.26 0.38 0.00 0.00

time (sec)

N/A 0.173 10.020 4.414 0.000 0.087 0.382 0.000 0.000

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C C F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

54 54 25 30 0 6 26 0 26

N.S.

1 1.00 0.46 0.56 0.00 0.11 0.48 0.00 0.48

time (sec)

N/A 0.158 10.041 4.252 0.000 0.089 0.356 0.000 5.458

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

74 74 40 33 0 22 31 0 0

N.S.

1 1.00 0.54 0.45 0.00 0.30 0.42 0.00 0.00

time (sec)

N/A 0.175 10.011 4.420 0.000 0.082 0.462 0.000 0.000

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

150 147 46 33 0 37 27 0 0

N.S.

1 0.98 0.31 0.22 0.00 0.25 0.18 0.00 0.00

time (sec)

N/A 0.244 10.035 4.610 0.000 0.093 0.424 0.000 0.000

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

126 126 40 33 0 29 27 0 0

N.S.

1 1.00 0.32 0.26 0.00 0.23 0.21 0.00 0.00

time (sec)

N/A 0.220 10.016 4.315 0.000 0.084 0.359 0.000 0.000

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

140 140 38 33 0 26 29 0 18

N.S.

1 1.00 0.27 0.24 0.00 0.19 0.21 0.00 0.13

time (sec)

N/A 0.231 10.012 4.368 0.000 0.090 0.392 0.000 5.538

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 29 20 0 68 39 0 0

N.S.

1 1.00 0.60 0.42 0.00 1.42 0.81 0.00 0.00

time (sec)

N/A 0.200 10.020 4.338 0.000 0.091 0.408 0.000 0.000

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 30 21 0 96 39 0 0

N.S.

1 1.00 0.56 0.39 0.00 1.78 0.72 0.00 0.00

time (sec)

N/A 0.223 10.011 4.367 0.000 0.196 0.421 0.000 0.000

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 31 20 17 19 19 41 19 16

N.S.

1 1.15 0.74 0.63 0.70 0.70 1.52 0.70 0.59

time (sec)

N/A 0.169 0.025 4.157 0.205 0.259 0.137 0.309 5.493

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 10 9 9 12 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.92 0.69 0.69

time (sec)

N/A 0.143 0.018 4.041 0.196 0.264 0.165 0.279 5.459

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 10 9 9 10 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.77 0.69 0.69

time (sec)

N/A 0.147 0.015 4.140 0.198 0.281 0.064 0.288 5.461

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 105 61 58 81 68 134 71 66

N.S.

1 1.04 0.60 0.57 0.80 0.67 1.33 0.70 0.65

time (sec)

N/A 0.229 0.067 4.177 0.200 0.260 0.962 0.279 5.477

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 61 47 64 57 110 57 55

N.S.

1 1.05 0.76 0.59 0.80 0.71 1.38 0.71 0.69

time (sec)

N/A 0.212 0.049 4.198 0.194 0.273 0.652 0.279 5.525

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 39 36 47 46 87 43 44

N.S.

1 1.07 0.66 0.61 0.80 0.78 1.47 0.73 0.75

time (sec)

N/A 0.197 0.040 4.121 0.207 0.281 0.424 0.275 5.610

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 38 25 30 34 63 29 33

N.S.

1 1.11 1.00 0.66 0.79 0.89 1.66 0.76 0.87

time (sec)

N/A 0.180 0.036 4.269 0.201 0.264 0.286 0.286 5.726

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 39 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 2.17 0.78 0.78

time (sec)

N/A 0.148 0.018 4.319 0.192 0.282 0.111 0.270 5.709

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 81 66 71 66 92 42 183 48

N.S.

1 1.23 1.00 1.08 1.00 1.39 0.64 2.77 0.73

time (sec)

N/A 0.199 0.091 4.768 0.282 0.265 0.631 0.288 5.805

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 77 75 85 73 171 41 207 55

N.S.

1 1.03 1.00 1.13 0.97 2.28 0.55 2.76 0.73

time (sec)

N/A 0.192 0.169 4.459 0.271 0.333 0.733 0.292 5.881

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 110 92 108 129 209 41 243 79

N.S.

1 1.09 0.91 1.07 1.28 2.07 0.41 2.41 0.78

time (sec)

N/A 0.212 0.209 4.330 0.276 0.270 1.259 0.284 5.997

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

125 140 95 0 0 0 29 0 0

N.S.

1 1.12 0.76 0.00 0.00 0.00 0.23 0.00 0.00

time (sec)

N/A 0.251 7.524 0.000 0.000 0.000 0.636 0.000 0.000

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 110 64 0 0 0 29 0 0

N.S.

1 1.09 0.63 0.00 0.00 0.00 0.29 0.00 0.00

time (sec)

N/A 0.226 7.291 0.000 0.000 0.000 0.539 0.000 0.000

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

79 83 51 0 0 0 29 0 0

N.S.

1 1.05 0.65 0.00 0.00 0.00 0.37 0.00 0.00

time (sec)

N/A 0.189 7.147 0.000 0.000 0.000 0.488 0.000 0.000

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

79 78 51 0 0 0 32 0 0

N.S.

1 0.99 0.65 0.00 0.00 0.00 0.41 0.00 0.00

time (sec)

N/A 0.189 10.017 0.000 0.000 0.000 0.534 0.000 0.000

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 106 51 0 0 0 34 0 0

N.S.

1 1.05 0.50 0.00 0.00 0.00 0.34 0.00 0.00

time (sec)

N/A 0.213 10.017 0.000 0.000 0.000 0.620 0.000 0.000

[next] [prev] [prev-tail] [front] [up]